Beweis eines Satzes von Bertini �ber lineare Systeme ganzer Functionen. II

Schrijvers Beweis Von Maders Satz

In der Arbeit von Schrijver [3] wird die folgende Formulierung von Maders Satz aus [2] bewiesen (siehe Satz 1). Wir werden skizzieren wie man aus diesem Satz die Formulierung von Maders Satz über kreuzungsfreie H-Wege (siehe Korollar 2) herleiten kann. Eine Menge P von Wegen in einem Graphen G = (V,E) ist kreuzungsfrei, wenn die Schnittmenge der Eckenmengen zweier unterschiedlicher Wege aus P e...

Lineare Algebra II

17. Der Satz von Cayley-Hamilton 2 18. Summen von Untervektorräumen, Komplemente, Kodimension 5 19. Der Dualraum 15 20. Bilinearformen 22 21. Euklidische und unitäre Vektorräume 32 22. Euklidische und unitäre Diagonalisierung 41 23. Äquivalenzrelationen, Quotientenräume und affine Unterräume 50 24. Quadratische Formen 60 25. Klassifikation von Quadriken 65 26. Orthogonale Gruppen 72 27. Die Jor...

Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen

In [9] wurden mehrere Beweise ffir die Unbeweisbarkeit von kombinatorischen S/itzen in gewissen formalen Systemen ausgeftihrt. Hierbei handelt es sich u.a. um einen in Erweiterung des Kruskalschen Satzes yon Friedman [5] bewiesenen Satz fiber markierte endliche B/iume, der in einem formalen System//~ CAo mit/-/lKomprehension nicht beweisbar ist. Sowohl der ursprfingliche Beweis yon Friedman als...

Vorlesungsmanuskript zu Lineare Algebra II

Lineare Zeilen- und Spaltenprädiktoren zur Erkennung von Bildskalierungen

Geometrische Transformationen von Bildern oder Bildteilen stellen eine wichtige Klasse von Bildmanipulationen dar. In der Literatur diskutierte bildforensische Ansätze zur Erkennung solcher Operationen basieren in der Regel auf periodischen Interpolationsartefakten, die in einem durch lineare Filterung erhaltenen Differenzsignal gemessen werden. Dieser Aufsatz beschreibt einen alternativen Ansa...